read_bytes
io.buffered.read_bytes
Postcondition
post debug: {
match result
error => true
s Sequence u8 => s.count <= n
}0.095dev (GIT hash c0597c5e4454e0a756871b577946c51ba77d9fde)
post debug: {
match result
error => true
s Sequence u8 => s.count <= n
}
if the returned sequence is empty or count is less than n, end of file has been reached.